Safety-centered process control design based on dynamic safe set

Product Centered Process Design

Safe Design Method of Embedded Control Systems based on COTS

In this paper, we propose an approach based on formal verification and discrete controller synthesis that are combined within a component-based design method. Formal verification finds design errors and provides counterexamples while the Discrete Controller Synthesis technique attempts to enforce previously verified specifications which do not hold. It automatically produces control code, which...

Economical-Statistical design of one- sided CCC-r control chart based on analytical hierarchy process

The cumulative count of a conforming (CCC) control chart is used for high quality processes.The CCC − r chart is an improvement of the CCC chart that is based on the cumulative number of items inspected until observing r non-conforming ones. This paper aims to propose a new approach for manufacturer’s decision making according to the criteria among the available options. The o...

Requirements-Based Design Guidance: A Process-Centered Consistency Management Approach

In previous work, we have argued that constraints on the relationships between requirements elements and design elements can be used to guide designers in making design decisions. We have also argued the importance of controlling which constraints to apply, when to apply them, and what responses to take on constraint failure in order to make this guidance effective. Our suggestion, to control t...

Distributed Process Management System Based on Object-Centered Process Modeling

Most of process-centered software engineering environments and those languages focus on how to produce the product. However, recent software development tend to require to focus on what should be made, because of emergence of various types of software developments; e.g., software reuse, component-based composition, and so on. To achieve this, we propose in this paper a new development environme...